السطح الذي هو نهايته ، وكذا الخطّ الذي هو نهايته ؛ فإذا بطل المعروض 20 ووجد معروض آخر بالعدد ، كان العارض أيضا كذلك . فإذا امتنع بقاء المستقيم من الخطّ مع زوال استقامته ، علم منه أنّ الاستقامة إمّا فصله أو لازم فصله ، فالمستقيم يغاير المستدير في نوعيّته . وكذا السطح المستوي وغيره . وأيضا غيره لما يخالفه 21 . وكذا الأجسام التعليميّة لما يخالفها . 22 ويتفرّع على ما تقدّم أوّلا : أن لا تضادّ بين المستقيم والمستدير ، لعدم التعاقب على موضوع واحد ، ولعدم غاية الخلاف . وكذا ما بين الخطّ والسطح . وكذا ما بين السطح والجسم التعليميّ . 23 وكذا ما بين السطوح أنفسها ، وبين الأجسام التعليميّة أنفسها .